A => ((S, S => A))